Two set-theoretical theorems in categories
نویسندگان
چکیده
منابع مشابه
A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT
In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.
متن کاملIn Vitro Cytotoxicity of Two Categories of Dental Cements
Background and Aim: Resin cements are used widely in restorative dentistry regardless of their biocompatibility. The aim of this study was to compare the cytotoxicity of two categories of dental cements consisting of three chemically set cements (Fuji I, Fuji PLUS and Harvard) and two dual curing cements (BisCem and Duo-Link) by use of MTT assay. Materials and Methods: In this experimental s...
متن کاملa relation between the categories set * , sett, set and sett
in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.
متن کاملInfinite dimensional perfect set theorems
What largeness and structural assumptions on A ⊆ [R]ω can guarantee the existence of a non-empty perfect set P ⊆ R such that [P ]ω ⊆ A? Such a set P is called A-homogeneous. We show that even if A is open, in general it is independent of ZFC whether for a cardinal κ, the existence of an A-homogeneous set H ∈ [R]κ implies the existence of a non-empty perfect A-homogeneous set. On the other hand,...
متن کاملCoalgebraic Coinduction in (Hyper)set-theoretic Categories
This paper is a contribution to the foundations of coinductive types and coiterative functions, in (Hyper)set-theoretical Categories, in terms of coalgebras. We consider atoms as rst class citizens. First of all, we give a sharpening, in the way of cardi-nality, of Aczel's Special Final Coalgebra Theorem, which allows for good estimates of the cardinality of the nal coalgebra. To these end, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1964
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-53-1-43-49